extern char *a_18_names[];
extern char *a_29_names[];
extern char *addr_19_names[];
extern char *b_06_names[];
extern char *c3_16_names[];
extern char *c_16_names[];
extern char *cc_20_names[];
extern char *cr_06_names[];
extern char *ct_06_names[];
extern char *d_18_names[];
extern char *d_26_names[];
extern char *e_17_names[];
extern char *ext3_16_names[];
extern char *ext4_22_names[];
extern char *ext5_11_names[];
extern char *ext6_20_names[];
extern char *ext8_19_names[];
extern char *ext_17_names[];
extern char *ext_20_names[];
extern char *ext_29_names[];
extern char *ext_30_names[];
extern char *f_19_names[];
extern char *i_31_names[];
extern char *im10_06_names[];
extern char *im10_18_names[];
extern char *im11_18_names[];
extern char *im11_20_names[];
extern char *im11_21_names[];
extern char *im13_06_names[];
extern char *im13_18_names[];
extern char *im21_11_names[];
extern char *im2_16_names[];
extern char *im2_18_names[];
extern char *im5_11_names[];
extern char *im5_27_names[];
extern char *inst_names[];
extern char *m_26_names[];
extern char *m_28_names[];
extern char *n_30_names[];
extern char *op_names[];
extern char *p_06_names[];
extern char *p_31_names[];
extern char *r_06_names[];
extern char *r_11_names[];
extern char *rv_20_names[];
extern char *rv_31_names[];
extern char *s2_16_names[];
extern char *s3_16_names[];
extern char *s_18_names[];
extern char *t_06_names[];
extern char *t_11_names[];
extern char *t_27_names[];
extern char *u_18_names[];
extern char *ve_19_names[];
extern char *w10_19_names[];
extern char *w5_06_names[];
extern char *w5_11_names[];
extern char *w_29_names[];
extern char *w_31_names[];
extern char *x_11_names[];
